Paradigms of historiography of philosophy in India have being changed since late 19th c. till present, depending on the social and cultural context of the history of Indian philosophy as a part of contemporary Indian culture. This change manifests itself in the conceptions of Indian historians concerning the teaching of Buddhist Mahāyāna school of Yogācāra (4th c. and later). Historians of colonial times, basing themselves on the philosophy of Neovedаntism (S. Radhakrishnan, S. Dasgupta), regarded Buddhism as a derivate of late (...) Vedic culture and Yogācāra as a teaching that reflected - though in an essentially transmuted form - the ideology of Upaniṣads. The latter, according to Neovedantists, was based on the postulate of the existence of the single cosmic soul - Brahman, the true human Self (Ātman) being identical to it. Historians of the late colonial and early postcolonial times (P.T. Raju, D.P. Chattopadhyaya, A.K. Chatterjee, partly also S. Dasgupta) brought Yogācāra closer to the teachings of European idealism, mainly to conceptions of G. Berkeley, G.W.F. Hegel, F. Bradley, J.E. McTaggart, trying to demonstrate a principal identity of fundamental problems in Indian and Western philosophy. At the same time, they brought Yogācāra together with the teaching of Brāhmaṇic school, Advaita Vedānta, regarded as another form of Indian idealism. In later times, following the evolution of contemporary Indian culture and changings in its social and political context, historians like D.J. Kalupahana became to analyze Yogācāra as a kind of philosophy of mind. All these facts show the dependence of strategies of historico-philosophical studies in India on its social, political and cultural context: in the Yogācāra teaching mainly those aspects call attention that a historian sees as the closest to the problematic field of contemporary philosophy. (shrink)

This article examines a still contentious question: how conservative and liberal elements are combined in Boris N. Chicherin’s worldview and political doctrine. It considers several points of view...

Why does the theory of law have such a significant role in Russian liberalism, and how is this related to the state of the legal system in Russia and to the public’s legal consciousness? This intro...

The Transcendental Psychology Approach to the study of perception has been developed by A.I. Mirakyan at the Psychological Institute (Moscow, Russia) about 30 years ago. This article considers the results of theoretical and experimental investigations and provides a historical overview of the approach’s development. Started with the investigations of constancy in perception, it went beyond the traditional Product Basis Paradigm (relying on perceptual features for finding perceptual mechanisms) into Philosophical Metaphysics of “nothing” and “something” concepts for revealing the form-generating principles (...) as fundamental axiomatics of the Transcendental Psychology Approach. Several principles were developed and justified: structure-process anisotropy, spatial-temporal discreteness, the formation of anisotropic (particularly, symmetric) relations, the coexistence of alternatives, and some others. Principles are explanatory for the regulations of sensory-perceptual processes and are the direct object of further specification and experimental verification using hypothetical transcendental models of perceptual structures. The theory suggests that the internal mechanisms of these models would not naturally manifest themselves in experiments within the functional range of perception, and to see the phenomena, it is necessary to bring the perceptual system out of its natural functional range. The form-generating processes are named adiaphorous in the sense that they specifically generate new structures and forms, regardless of the characteristics of products used and produced in the processes. In general, it is possible to speak about the class of so-called structurally-generative processes that are specific to the process of transition between the system-generating structures studied by different hierarchically interrelated sciences. The proposed two-staged qualitative model of the perceptual process consists of two substantially different parts: the direct sensory perception and a process of form designation or sensory name assignment. Further investigations of structurally-generative processes seem likely to shed light on the mechanisms of brain function and to contribute strategically to new directions in philosophical psychology and neuroscience. (shrink)

This volume examines the conflicting factors that shape the content and form of grammatical rules in language, which speakers and addressees need to contend with when expressing themselves and when trying to comprehend messages. Chapters examine adult language, first and second language acquisition, and the motivations behind historical change.

We study the coherence, that is the equality of canonical natural transformations in non-free symmetric monoidal closed categories . To this aim, we use proof theory for intuitionistic multiplicative linear logic with unit. The study of coherence in non-free smccs is reduced to the study of equivalences on terms in the free category, which include the equivalences induced by the smcc structure. The free category is reformulated as the sequent calculus for imll with unit so that only equivalences on derivations (...) in this system are to be considered. We establish that any equivalence induced by the equality of canonical natural transformations over a model can be axiomatized by some set of “critical” pairs of derivations. From this, we derive certain sufficient conditions for full coherence, and establish that the system of identities defining smccs is not Post-complete: extending this system with an identity that does not hold in the free smcc does not in general cause the free smcc to collapse into a preorder. In order to give a larger context to these results, we study the equality of canonical morphisms in non-free symmetric monoidal categories, and establish that w.r.t. a broad subclass of smccs, the equivalences induced by the equality of canonical natural transformations over a model coincide with the equivalences induced by the equality of canonical morphisms for all interpretations in that model. (shrink)

The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...) a tableau calculus is defined for the modal bilattice logic MBL introduced and investigated by A. Jung, U. Rivieccio, and R. Jansana. MBL is a generalization of BK that in its Kripke semantics makes use of a four-valued accessibility relation. It is shown that MBL can be faithfully embedded into the bimodal logic \ over the non-modal vocabulary of MBL. On the way from \ to MBL, the Fischer Servi-style modal logic \ is defined as the set of all modal formulas valid under a modified standard translation into first-order FDE, and \ is shown to be characterized by the class of all models for \. Moreover, \ is axiomatized and this axiom system is proved to be strongly sound and complete with respect to the class of models for \. Moreover, the notion of definitional equivalence is suitably weakened, so as to show that \ and \ are weakly definitionally equivalent. (shrink)

Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a 'definable quotient group' U/L, for some convex V-definable subgroup U of 〈Mⁿ, +〉 and a lattice L of rank n. As two consequences, we derive Pillay's conjecture (...) for a saturated M as above and we show that the o-minimal fundamental group of G is isomorphic to L. (shrink)

On peut distinguer trois cas de correspondances différentes entre les « scénarios schématiques » et le domaine narratif folklorico-littéraire : 1. La narration constitue la projection de la « dramaturgie de la vie » (une telle projection n’est évidemment ni directe ni complète) ;2. La structure de l’univers des personnages et la structure événementielle du narratif influencent la formation des « scénarios de la vie », en conditionnant l’apparence morphologico-compositionnelle de l’un et de l’autre ;3. La coincidence de la « (...) dramaturgie de la vie » et de la « dramaturgie de la narration»s’explique par le fait qu’elles ont des sources communes ; ces sources pourraient être les modèles mentaux de la tradition, qui dictent à un homme des « règles de comportement » d’une part, et qui s’incarnent dans la narration folklorico-littéraire d’autre part. Le « scénario schématique » possède une structure événementielle, situationnelle et actantielle. À cette structure correspond un certain niveau d’interprétation qui souvent la lie directement à la conscience religieuse et mythologique ; une telle conscience — compte tenu du fait qu’une conceptualisation globale de tous les aspects de la vie humaine caractérise le mythe — englobe, par sa nature même, les « blocs interprétatifs » pertinents pour pratiquement tous les précédents événementiels. Le « scénario schématique » est donc lié au domaine des croyances et concepts actuels, lié aussi aux systèmes de valeurs et normes éthiques, etc. ; il est possible de reconstituer nombre de ces croyances, concepts, valeurs et normes à l’aide de l’histoire vécue qui nous occupe. D’ordinaire, ces interprétations ne représentent pas le fond neutre des événements, mais un élément actif et dynamique qui agit directement sur le développement de ces événements. (shrink)

Computability theorists have introduced multiple hierarchies to measure the complexity of sets of natural numbers. The Kleene Hierarchy classifies sets according to the first-order complexity of their defining formulas. The Ershov Hierarchy classifies Δ20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varDelta ^0_2$$\end{document} sets with respect to the number of mistakes that are needed to approximate them. Biacino and Gerla extended the Kleene Hierarchy to the realm of fuzzy sets, whose membership functions range in a complete lattice L. In (...) this paper, we combine the Ershov Hierarchy and fuzzy set theory, by introducing and investigating the Fuzzy Ershov Hierarchy. In particular, we focus on the fuzzy n-c.e. sets which form the finite levels of this hierarchy. Intuitively, a fuzzy set is n-c.e. if its membership function can be approximated by changing monotonicity at most n-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n-1$$\end{document} times. We prove that the Fuzzy Ershov Hierarchy does not collapse; that, in analogy with the classical case, each fuzzy n-c.e. set can be represented as a Boolean combination of fuzzy c.e. sets; but that, contrary to the classical case, the Fuzzy Ershov Hierarchy does not exhaust the class of all Δ20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varDelta ^0_2$$\end{document} fuzzy sets. (shrink)

The problem of the article is based on a long tradition of studying the category ‘antinomy‘ in the history of philosophy from antiquity until the early twentieth century. Antinomical thinking has particular importance for the spiritual life in the 20th century. The author draws attention to the fact that, for example, in the poetry of Thomas Stern Eliot antinomies and paradoxes are of philosophical and religious nature especially in then dealing with questions of reaching the Truth by rational way exclusively. (...) The basic material for studies are the works of modern Russian poets Olesya Nikolaeva, Sergei Kruglov, Timur Kibirov, Olga Sedakova and Helen Schwartz. It is shown how moral and philosophical themes and descriptions of the spiritual lives of the characters associated with the interpretation of ideas of compositions in the form of antinomies. The idea of the influence of the antinomies of thinking on aesthetics and system of images of Russian poets verses is justified. Article reveals the originality of each of the poets whose poems are analyzed in the work. The author concludes that modern poetry gives traditional antinomies personal psychological nature, but at the same time, problems and poetics of paradox are in tune with thinking of twentieth century as a whole - with its disastrous spirit, full of doubt and contradiction. (shrink)

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

Historical entitlement theories of property rights, which claim that individuals can acquire moral property rights over natural resources by appropriating them, traditionally face a strong objection: it is widely implausible that a single individual can unilaterally impose duties on everyone around him and yet, apparently, this is exactly what such theories allow. In this essay, I argue that the same problem appears in all other theories of distributive justice and if this problem was a reason to reject historical entitlement theories, (...) it would also be a reason to reject all rival theories. Which means that as long, as one is committed to any theory of distributive justice at all, she, at the risk of inconsistency, cannot rely on the aforementioned objection to criticize historical entitlement theories. (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

This paper introduces a theory of ownership that is rooted in Israel Kirzner’s theory of entrepreneurship – The Entrepreneurial Theory of Ownership. Its central idea is that natural resources are not available to us automatically as other approaches to justice implicitly assume. Before we can use a resource, we need to do preparatory work in the form of making an entrepreneurial judgement on it. This fact, as I argue, makes it possible to put private ownership as a natural right on (...) a firm normative ground and answer many traditional challenges to private property. (shrink)

Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the (...) former. (shrink)

Let ???? be a computable structure and let R be a new relation on its domain. We establish a necessary and sufficient condition for the existence of a copy ℬ of ???? in which the image of R (¬R, resp.) is simple (immune, resp.) relative to ℬ. We also establish, under certain effectiveness conditions on ???? and R, a necessary and sufficient condition for the existence of a computable copy ℬ of ???? in which the image of R (¬R, resp.) (...) is simple (immune, resp.). (shrink)

In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.

Early normative studies of human behavior revealed a gap between the norms of practical rationality (what humans ought to do) and the actual human behavior (what they do). It has been suggested that, to close the gap between the descriptive and the normative, one has to revise norms of practical rationality according to the Quinean, engineering view of normativity. On this view, the norms must be designed such that they effectively account for behavior. I review recent studies of human perception (...) which pursued normative modeling and which found good agreement between the normative prescriptions and the actual behavior. I make the case that the goals and methods of this work have been incompatible with those of the engineering approach. I argue that norms of perception and action are observer-independent properties of biological agents; the norms are discovered using methods of natural sciences rather than the norms are designed to fit the observed behavior. (shrink)

Two traditions have had a great impact on the theoretical and experimental research of perception. One tradition is statistical, stretching from Fechner's enunciation of psychophysics in 1860 to the modern view of perception as statistical decision making. The other tradition is phenomenological, from Brentano's “empirical standpoint” of 1874 to the Gestalt movement and the modern work on perceptual organization. Each tradition has at its core a distinctive assumption about the indivisible constituents of perception: the just-noticeable differences of sensation in the (...) tradition of Fechner vs. the phenomenological Gestalts in the tradition of Brentano. But some key results from the two traditions can be explained and connected using an approach that is neither statistical nor phenomenological. This approach rests on a basic property of any information exchange: a principle of measurement formulated in 1946 by Gabor as a part of his quantal theory of information. Here the indivisible components are units (quanta) of information that remain invariant under changes of precision of measurement. This approach helped to understand how sensory measurements are implemented by single neural cells. But recent analyses suggest that this approach has the power to explain larger-scale characteristics of sensory systems. (shrink)